  $ dune exec ./discover.exe
